home *** CD-ROM | disk | FTP | other *** search
/ ftp.ee.pdx.edu / 2014.02.ftp.ee.pdx.edu.tar / ftp.ee.pdx.edu / pub / users / Harry / TheoryOfComp / slides / chapter3 / slide 34.jpeg < prev    next >
Joint Photographic Experts Group Image  |  2012-10-26  |  203KB  |  847x1100  |  16-bit (33,463 colors)
Labels: bulletin board | paper | reckoner | sky
OCR: EXAMPLE CAN AN ARBITRARY PRUB LEM BE LAN GUAG GRAPH THE GRAPH MNO WE Mu 57 ENCODE THE PROBLEM INTO LANGUAG F CONNECTED 6RAPH WANT: DELIDE THIS LANGUAGE 4CCEP] graph not alid RETELT UNCONNE d007 PROBI EM IS DECIDABLE .M. WILL ALWAYS HALT. EXPRESSEO UNDIRECTED NNOO MUST IN7O LANGMAGE ACLEPI Either Valid repre esentation UNCONNECTED Loop PROBL